Electronic Workshops in Computing Science. Series hosted by the British Computer Society which includes the proceedings of workshops and conferences on a range of computing topics.

Foundations of Object-Oriented Languages. Links to the annual workshops.

International Workshop on Logic-based Program Synthesis and Transformation. Held annually since 1991.

International Conference on Principles and Practice of Constraint Programming. Links to the individual sites of the annual meetings.

From 1994 - 1999 the ELITE Foundation (European Laboratory for Intelligent Techniques Engineering) annually organized EUFIT - The European Congress on Intelligent Techniques and Soft Computing. Tables of contents of proceedings and order forms.

Foundations of Software Technology and Theoretical Computer Science. Links to past and future meetings.

International Conference on Functional Programming: an annual programming language conference combining the former Functional Programming and Computer Architecture (FPCA) and Lisp and Functional Programming (LFP). It is sponsored by the ACM SIGPLAN. P...

International Federation for Information Processing. Calendar of Events.

IEEE Symposium on Logic in Computer Science: an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Links to past and future meetings, mailing list, newsletters.

Annual ACM SIGPLAN Conferences on Object-Oriented Programming, Systems, Languages, and Applications.